EXTRA_DIST =  progs.edc
